Systems analysis

Results: 12418



#Item
121A Semantic Approach to the Analysis of Rewriting-Based Systems Salvador Lucas DSIC, Universitat Polit` ecnica de Val` encia, Spain

A Semantic Approach to the Analysis of Rewriting-Based Systems Salvador Lucas DSIC, Universitat Polit` ecnica de Val` encia, Spain

Add to Reading List

Source URL: www.sci.unich.it

- Date: 2017-10-23 05:15:07
    122A Security Analysis of Police Computer Systems Benjamin VanderSloot∗ Stuart Wheaton∗ J. Alex Halderman

    A Security Analysis of Police Computer Systems Benjamin VanderSloot∗ Stuart Wheaton∗ J. Alex Halderman

    Add to Reading List

    Source URL: benjaminvandersloot.com

    - Date: 2018-03-26 16:16:53
      123An analysis of various tools, methods and systems to generate fake accounts for social media A Thesis Proposal Presented by

      An analysis of various tools, methods and systems to generate fake accounts for social media A Thesis Proposal Presented by

      Add to Reading List

      Source URL: cbw.sh

      - Date: 2017-08-15 22:40:50
        124Wireless Link Budget Analysis How to Calculate Link Budget for Your Wireless Network Whitepaper Radio Systems How far can it go and what will the throughput be? These are the two common questions that come up when design

        Wireless Link Budget Analysis How to Calculate Link Budget for Your Wireless Network Whitepaper Radio Systems How far can it go and what will the throughput be? These are the two common questions that come up when design

        Add to Reading List

        Source URL: www.tranzeo.com

        - Date: 2011-08-23 15:13:39
          125PAWS: A Tool for the Analysis of Weighted Systems∗ Barbara K¨onig Sebastian K¨upper Christina Mika

          PAWS: A Tool for the Analysis of Weighted Systems∗ Barbara K¨onig Sebastian K¨upper Christina Mika

          Add to Reading List

          Source URL: qapl17.doc.ic.ac.uk

          - Date: 2017-04-20 09:16:43
            126WCET Analysis of Probabilistic Hard Real-Time Systems ∗ Guillem Bernat Antoine Colin Stefan M. Petters Real-Time Systems Research Group Department of Computer Science

            WCET Analysis of Probabilistic Hard Real-Time Systems ∗ Guillem Bernat Antoine Colin Stefan M. Petters Real-Time Systems Research Group Department of Computer Science

            Add to Reading List

            Source URL: www.rapitasystems.com

              127A Rosenbrock-Nystrom State Space Implicit Approach for the Dynamic Analysis of Mechanical Systems: I – Theoretical Formulation ∗ Adrian Sandu Department of Computer Science, Michigan Technological University, Houghto

              A Rosenbrock-Nystrom State Space Implicit Approach for the Dynamic Analysis of Mechanical Systems: I – Theoretical Formulation ∗ Adrian Sandu Department of Computer Science, Michigan Technological University, Houghto

              Add to Reading List

              Source URL: homepages.cae.wisc.edu

              - Date: 2003-06-21 13:24:32
                128Constructive Finite Trace Analysis with Linear Temporal Logic Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de

                Constructive Finite Trace Analysis with Linear Temporal Logic Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de

                Add to Reading List

                Source URL: www.home.hs-karlsruhe.de

                - Date: 2013-03-29 18:22:29
                  1291114 IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, VOL. 18, NO. 8, AUGUST 2008 A Survey of Vision-Based Trajectory Learning and Analysis for Surveillance

                  1114 IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, VOL. 18, NO. 8, AUGUST 2008 A Survey of Vision-Based Trajectory Learning and Analysis for Surveillance

                  Add to Reading List

                  Source URL: cvrr.ucsd.edu

                  - Date: 2008-09-24 14:12:31
                    130Pareto Front Modeling for Sensitivity Analysis in Multi-Objective Bayesian Optimization Roberto Calandra Jan Peters∗ Intelligent Autonomous Systems Lab

                    Pareto Front Modeling for Sensitivity Analysis in Multi-Objective Bayesian Optimization Roberto Calandra Jan Peters∗ Intelligent Autonomous Systems Lab

                    Add to Reading List

                    Source URL: www.ias.tu-darmstadt.de

                    - Date: 2015-03-23 08:18:16